Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
221	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYFallQuiz I Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2016-01-29 11:50:05 Software engineering Computer programming Computing C++ C Data types Software bugs Pointer Struct Sizeof JavaScript Buffer overflow
222	An Alias-Free, Object-Oriented Language Concept Olaf Owe Department of Informatics University of Oslo, Norway March 1988 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:22:06 Software engineering Computer programming Computing Data types C++ Subroutines Parameter Variable Scope Assignment Simula Const
223	Priority Auctions and Queue Disciplines that Depend on Processing Time Thomas Kittsteiner and Benny Moldovanu∗ July 16, 2004 Abstract Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Stochastic processes Probability theory Operations research Probability Scheduling algorithms Queueing theory Abstract data types Scheduling Monitor Queue M/G/1 queue FIFO
224	UCT for PCG Cameron Browne Imperial College London South Kensington, UK Abstract—This paper describes initial experiments in the use Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Mathematics Computer programming Mathematical games Polyforms Software engineering Search algorithms Mathematical optimization Data types Monte Carlo tree search Pentomino Genetic algorithm Tree traversal
225	Cache-Aware Lock-Free Concurrent Hash Tries Aleksandar Prokopec, Phil Bagwell, Martin Odersky École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland {rstname}.{lastname}@ep.ch Add to Reading List Source URL: axel22.github.io Language: English - Date: 2016-08-13 13:11:44 Computer programming Associative arrays Software engineering Information science Ctrie Search algorithms Hashing Data types
226	Parking Validation Programs Frequently Asked Questions (FAQs) Q: What are the different types of validations offered? A: Downtown, Cinema and Tech Museum validations. Q: Which garages participate in each validation progr Add to Reading List Source URL: parksj.org Language: English - Date: 2015-09-26 00:20:39 Pharmaceutical industry Validity Clinical data management Clinical research Quality Validation Parking
227	WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen, Add to Reading List Source URL: coccinelle.lip6.fr Language: English Computing Software engineering Computer programming Data types Object-oriented programming languages Memory management C++ Scripting languages Null Coccinelle Pointer Application programming interface
228	Typbasierte Programmtransformation Janis Voigtl¨ander Technische Universit¨ at Dresden 14. Juli 2009 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Data types Ordinal number Wellfoundedness Boolean data type Mathematical logic Computing Mathematics Type theory
229	Microsoft PowerPoint - Lect05data_abstractionsv4.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-21 04:47:00 Software engineering Declarative programming Functional programming Data types Lisp Computer programming Lambda calculus Cons Append CAR and CDR Anonymous function T
230	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type

UPDATE